Interactive Synthesis of Code Snippets
نویسندگان
چکیده
We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our approach takes into account polymorphic type constraints as well as test cases. Our tool interactively displays a ranked list of suggested code fragments that are appropriate for the current program point. We have found our system to be useful for synthesizing code fragments for common programming tasks, and we believe it is a good platform for exploring software synthesis techniques.
منابع مشابه
Dynamic and Interactive Synthesis of Code Snippets
Dynamic and Interactive Synthesis of Code Snippets
متن کاملInteractive Code Snippet Synthesis Through Repository Mining
Programmers repeatedly reuse code snippets. Retyping boilerplate code, and rediscovering how to correctly sequence API calls, programmers waste time. In this paper, we develop techniques that automatically synthesize code snippets upon a programmer’s request. Our approach is based on discovering snippets located in repositories; we mine repositories offline and suggest discovered snippets to pr...
متن کاملExploiting Abstract Syntax Trees to Locate Software Defects
Context. Software defect prediction aims to reduce the large costs involved with faults in a software system. A wide range of traditional software metrics have been evaluated as potential defect indicators. These traditional metrics are derived from the source code or from the software development process. Studies have shown that no metric clearly out performs another and identifying defect-pro...
متن کاملShader-based physical modelling for the design of massive digital musical instruments
Physical modelling is a sophisticated synthesis technique, often used in the design of Digital Musical Instruments (DMIs). Some of the most precise physical simulations of sound propagation are based on Finite-Difference TimeDomain (FDTD) methods, which are stable, highly parameterizable but characterized by an extremely heavy computational load. This drawback hinders the spread of FDTD from th...
متن کاملSupporting Ease of Change in the Context of Code
Ease of change is an important software property; unfortunately, it is difficult to achieve and sustain. One cause for this difficulty is the semantic gap that divides code from the discourse of ease of change. Design snippets are partial design representations that scaffold connections between code and ease of change design principles. Design snippets integrate into existing evolution processe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011